Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
401	FirstBuild_How Ideas Get Produced Add to Reading List Source URL: firstbuild.com Language: English - Date: 2015-05-01 15:35:10 Thought Philosophy of mind Concept Logic Philosophy of language Semantics Idea Prototype Cognition Mind Ontology
402	The Fundamentals of Hybrid Systems Modelers Albert Benveniste, INRIA-Rennes Campus de BeaulieuRennes cedex, France Benoît Caillaud, INRIA-Rennes Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-04-17 12:15:00 Theoretical computer science Denotational semantics Logic in computer science Dynamical system Continuous function State space Itō diffusion Mathematical analysis Mathematics Control theory
403	Searching for meaning in the Library of Babel: field semantics and problems of digital archiving Nick Evans (University of Melbourne) Hans-Jürgen Sasse (University of Cologne) Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2006-01-23 11:29:31 Philosophical logic Science Semantics Philosophy of language Language documentation Language Pragmatics Word sense Sign language Analytic philosophy Meaning Linguistics
404	Isabelle/UTP: Mechanised Theory Engineering for Computer Scientists Simon Foster (with Frank Zeyda) University of York May 7, 2013 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-07-12 06:22:09 Predicate logic Semantics Program logic Predicate Propositional calculus Quantification Higher-order logic Isabelle Denotational semantics Logic Mathematical logic Mathematics
405	- 121. - Social Anthropology as Discourse This paper is about a darkness; a profound darkness that lies beyond boundaries we are.unable are unable to cross, unable to define, and beyond Add to Reading List Source URL: www.anthro.ox.ac.uk Language: English - Date: 2013-08-14 11:35:09 Philosophy of language Philosophical logic Semantics Anthropology Political philosophy Grammaticality Proposition Truth Meaning Linguistics Science Philosophy
406	Safe\|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:15 Logic in computer science Functions and mappings Recursion Standard ML FP Type system Denotational semantics Combinatory logic Expression Software engineering Programming language theory Computing
407	Statistical Debugging: Simultaneous Identification of Multiple Bugs Alice X. Zheng Carnegie Mellon University, School of Computer Science, Pittsburgh, PA Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-05-06 03:17:05 Predicate logic Grammar Predicate Semantics Cluster analysis Software bug Function Syntactic predicate Mathematics Logic Statistics
408	Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2005-05-27 05:14:47 Philosophical logic Logic in computer science Model theory Modal logic First-order logic Stable model semantics Intuitionistic logic Propositional calculus Theorem Logic Mathematical logic Non-classical logic
409	Alloy and SCR: An Evaluation and Comparison Justin R. Erenkrantz, Scott Hendrickson Institute for Software Research University of California, Irvine Irvine, CA Add to Reading List Source URL: www.erenkrantz.com Language: English - Date: 2010-08-20 02:44:12 Model checkers Alloy Z notation Semantics Predicate logic Model checking Promela Variable Assertion Software engineering Formal methods Logic
410	What’s in a quantifier? Rick Nouwen Utrechts Instituut voor Lingu¨ıstiek OTS Abstract In this article, I discuss several inquiries into the meaning of expressions of quantity. It is to some extent received wisdom tha Add to Reading List Source URL: ricknouwen.org Language: English - Date: 2012-02-06 05:10:47 Semantics Quantification Grammar Ontology Polarity item Proposition Model theory Determiner Quantity Logic Linguistics Science

UPDATE